Freiman's theorem

Etymology
The result is due to Gregory Freiman (1964, 1966).

Proper noun

 * 1)  In additive combinatorics, a central result that indicates the approximate structure of sets whose sumset is small. It roughly states that if $$|A+A|/|A|$$ is small, then $$A$$ can be contained in a small generalized arithmetic progression.