The point that the column and row ranks of any matrix are equal types is essential in linear algebra. A lot of proofs happen to be given. Just about the most elementary ones has long been sketched in § Rank from row echelon varieties. Here is a variant of the https://annetrubek.com