Lemma 1.3. Assuming that:

$A \subseteq ℤ$ is finite.

Then

| A + A | \geq 2 | A | - 1

, with equality if and only if

A

is an arithmetic progression.