Lemma 6.2 (Ruzsa covering lemma). Assuming that:

  • G an abelian group

  • A,B finite subsets of G

Then A can be covered by at most |A+B||B| translates of BB.