 Ruzsa modelling lemma

The Ruzsa modelling lemma says that a finite set with bounded doubling has a large subset Freiman $s$-isomorphic to a dense subset of a finite cyclic group, whose order is bounded by a constant depending only on the doubling constant and $s$ times the original set size.