P-adic columns lemma

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.