Theorem 1.17 (Gallai’s Theorem). Assuming that:

• finite $S\subset {\mathbb{N}}^d$

• $k$-colouring of ${\mathbb{N}}^d$