 Freiman-Ruzsa theorem

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