Theorem NMRRI Nonsingular Matrices Row Reduce to the Identity matrix

Suppose that $A$ is a square matrix and $B$ is a row-equivalent matrix in reduced row-echelon form. Then $A$ is nonsingular if and only if $B$ is the identity matrix.

Proof
(in context)