Let be a positive integer, we want to show contains an arithmetic progression of length . For every we have ...just think of these possibilities as of colours.

In , there exists an arithmetic progression of length .

The fact that every -colouring of contains a monochromatic arithmetic progression of length means that contains an arithmetic progression such that there are elements of expressible as for some .

The elements form an arithmetic progression of length in .