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 row echelon form of any matrix is unique.

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