Freiman-Ruzsa theorem (source code)

= Freiman-Ruzsa theorem
{c}

For every $K$, a finite set $A$ in an abelian group with $|A+A|\leq K|A|$ is contained in a coset progression of rank and relative size bounded in terms of $K$ alone.