Theorem 1.9 (Strengthened Van Waerden). Assuming that:

  • m,k∈ℕ

Then there exists n such that whenever [n] is k-coloured, there exists a monochromatic arithmetic progression of length m together with their common differences, i.e. the set {d,a,a+d,…,a+(m−1)d} is monochromatic.