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+(m1)d} is monochromatic.