Let be finite and fix a -colouring of . Then there are some and such that is monochromatic. Proof Let . Let be a -colouring of . Define a colouring of by By The Hales-Jewett Theorem, find a monochromatic line in , with active coordinates . Let and . The result follows.