Proof of Rado’s Theorem.
Want to prove
is partition regular if and only if it has the column property.
If
is partition regular, then by Proposition 2.5, it has the column property.
For the other direction, let
be a finite colouring of .
Also, since
has column property there exists
such that
solutions in any -set.
By Theorem 2.6 there exists a monochromatic -set
with respect to .
But this gives a monochromatic solution to .
□