Theorem 2.4 (Rado’s Theorem for single equation). Assuming that:

  • (a1,,an)n

Then it is partition regular if and only if it has the column property.