Hales-Jewett theorem

Etymology
Named after Alfred W. Hales and Robert I. Jewett.

Proper noun

 * 1)  A fundamental combinatorial result of Ramsey theory, concerning the degree to which high-dimensional objects must necessarily exhibit some combinatorial structure, and cannot be completely random.