Hales-Jewett theorem: Difference between revisions