Theorem 2.15 (Bogolyubov’s lemma). Assuming that:

  • A⊆𝔽pn be a set of density α

Then there exists V≤𝔽pn of codimension ≤2α−2 such that V⊆A+A−A−A.