The point that the column and row ranks of any matrix are equivalent kinds is fundamental in linear algebra. Many proofs are provided. Probably the most elementary kinds has long been sketched in § Rank from row echelon varieties. Here is a variant of the evidence: Belief in a website. https://annetrubek.com