Theorem 2.6. Assuming that:

  • m,p,c in ℕ

  • a finite colouring of ℕ

Then there exists a monochromatic (m,p,c)-set.