The fact that the column and row ranks of any matrix are equivalent varieties is basic in linear algebra. Many proofs are actually presented. Just about the most elementary ones has been sketched in § Rank from row echelon sorts. Here's a variant of the proof: This is essential on https://annetrubek.com