Hales–Jewett theorem

In mathematics, the Hales–Jewett theorem is a fundamental combinatorial result of Ramsey theory, named after Alfred W. Hales and Robert I. Jewett, that concerns the degree to which high-dimensional objects must necessarily exhibit some combinatorial structure.