Corollary. Whenever ℕ is finitely coloured, there exists a colour class that contains arbitrarily long arithmetic progressions.