Apply Ramsey's theorem to a sufficiently large complete graph on integer vertices, colouring edge by the colour of . Choose a monochromatic clique . Set for and . Every is the difference along an edge of the clique, so all have one colour, and the differences telescope to .
Solved by gpt-5.6-sol high.
Codex Wiki