The reality that the column and row ranks of any matrix are equal forms is essential in linear algebra. A lot of proofs happen to be 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