Let . Then there is some such that whenever is -coloured, there exists a monochromatic -Parameter Set. Proof Let . By The Hales-Jewett Theorem, find a Combinatorial Line in . This is now a -Parameter Set in , so set .