Reduced Echelon Matrix is Unique

Theorem
Every $m \times n$ matrix is row equivalent to exactly one $m \times n$ reduced echelon matrix.

That is, the reduced echelon form of a matrix is unique.

Proof of Existence
Proved in Matrix is Row Equivalent to Reduced Echelon Matrix.