Gallai theorem for an integer lattice
= Gallai theorem for an integer lattice
{c}
For every finite $S\subseteq\mathbb N^d$, every <finite coloring> of $\mathbb N^d$ contains a monochromatic homothetic copy $a+rS$. The theorem follows from the <Hales-Jewett theorem> by coloring a word according to the sum of the points indexed by its letters.