The first result in this direction was Van der Waerden's theorem in 1927, which states that for sufficiently large N, coloring the integers formula_8 with formula_9 colors will result in a formula_10 term arithmetic progression.