Proposition 2.5.
Assuming that:
A
a matrix with entries in
ℚ
A
is
partition regular
Then
A
has the
column property
.