The fact that the column and row ranks of any matrix are equivalent kinds is fundamental in linear algebra. Quite a few proofs have already been given. One of the more elementary types continues to be sketched in § Rank from row echelon sorts. Here's a variant of this evidence: https://annetrubek.com