Roth's theorem on arithmetic progressions

Roth's theorem on arithmetic progressions is a result in additive combinatorics concerning the existence of arithmetic progressions in subsets of the natural numbers. It was first proven by Klaus Roth in 1953.^[1] Roth's theorem is a special case of Szemerédi's theorem for the case ${\displaystyle k=3}$.