Lemma 2.3. Assuming that:

  • λ∈ℚ

Then for any finite colouring of ℕ, there exists a monochromatic solution to x+λy=z.