Petridis minimal-growth lemma

If a nonempty finite set $X$ minimizes $|X+B|/|X|$ among the nonempty subsets of $A$, with minimum $K^{\prime }$, thenfor every finite set $C$. Iteration is a short proof of the Plünnecke-Ruzsa inequality.