Theorem 1.11 (Plunnecke’s Inequality). Assuming that:

  • A,B⊆G are finite sets

  • |A+B|≤K|A| for some K≥1

Then ∀⁡l,m∈ℕ0,
|lB−mB|≤Kl+m|A|.