Van der Waerden's theorem