Szemerédi's theorem

Etymology
Endre Szemerédi proved the conjecture in 1975.

Proper noun

 * 1)  A result in combinatorics, stating that every set of integers with positive natural density contains a k-term arithmetic progression for every k.