Here is the proof that I am trying to show.
Let A be an m x n matrix in RREF. If rank(A) = r < m, then A must have at least one row of zeroes.
So far, I've noticed that is true, and that if for example, there are 5 equations, but only 4 leading ones, then the last row must all be zeroes. I'm just having trouble on how to write up the formal proof of this.
Thanks