Redirecting to Hales–Jewett theorem