Exercise RREF.T13 Robert Beezer

Generalize Exercise RREF.T12 by just keeping any $k$ rows, and not requiring the rows to be adjacent. Prove that any such matrix $C$ is in reduced row-echelon form.