Cauchy-Davenport theorem

If $A$ and $B$ are non-empty subsets of ${\mathbb{Z}}_p$, then

$$\left|A+B\right|\ge \min (\left|A\right|+\left|B\right|-1,p),$$

where $A+B$ denotes the sumset of $A$ and $B$.