Theorem 2.1 (Rado’s Theorem). A matrix over $\mathbb{Q}$ is partition regular if and only if it has the column property.