Cauchy-davenport
Revision as of 12:31, 20 September 2019 by GeronimoStilton (talk | contribs) (Created page with "The Cauchy-Davenport theorem states that for all nonempty sets <math>A,B \subseteq \mathbb{Z}/p\mathbb{Z}</math> , we have that <cmath>|A+B| \geqslant \min\{|A|+|B|-1,p\},</c...")
The Cauchy-Davenport theorem states that for all nonempty sets 
, we have that
![\[|A+B| \geqslant \min\{|A|+|B|-1,p\},\]](http://latex.artofproblemsolving.com/5/5/1/551d9371250b9d04469fe5f55d9f495709cbd328.png)
where 
is defined as the set of all 
that can be expressed as 
for 
and 
.
