The truth that the column and row ranks of any matrix are equal kinds is elementary in linear algebra. Several proofs have already been given. One of the most elementary types has been sketched in § Rank from row echelon types. Here's a variant of this proof: A typical concept https://annetrubek.com