Szemerédi's theorem

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