Theorem 1.5 (Cauchy-Davenport). Assuming that:

$p$ is a prime
$A, B \subseteq ℤ ∕ p ℤ$ nonempty

Then

| A + B | \geq \min {p, | A | + | B | - 1} .