The fact that the column and row ranks of any matrix are equal kinds is basic in linear algebra. Quite a few proofs have been given. One of the most elementary kinds has actually been sketched in § Rank from row echelon sorts. Here is a variant of this evidence: https://annetrubek.com