Cauchy-davenport
Revision as of 13:32, 20 September 2019 by GeronimoStilton (talk | contribs)
The Cauchy-Davenport theorem states that for all nonempty sets 
, we have that
![\[|A+B| \geq \min\{|A|+|B|-1,p\},\]](http://latex.artofproblemsolving.com/0/9/f/09f3124f98a7f614911df0ae09fe454a96e533b2.png)
where 
is defined as the set of all 
that can be expressed as 
for 
and 
.
