Theorem REMEF Row-Equivalent Matrix in Echelon Form

Suppose $A$ is a matrix. Then there is a matrix $B$ so that

  1. $A$ and $B$ are row-equivalent.
  2. $B$ is in reduced row-echelon form.

Proof
(in context)