P-adic columns lemma
= P-adic columns lemma
{c}
The necessity direction in <Rado's theorem> colors an integer using initial data from a <P-adic valuation>. Applying partition regularity and grouping the coordinates of a monochromatic solution by valuation yields the blocks in the <columns property>; reduction modulo successively higher powers of $p$ supplies the required linear dependences.