Redirecting to Van der Waerden's theorem