the matrix is invertible if and only if, at the end of the process, the echelon form is the identity matrix rather than some matrix of lower rank.

To convert this to a practical method for determining using this method, one uses an augmented matrix whose left side is the matrix to invert and whose right side is the identity matrix. Then, Gaussian elimination is used to convert the left side into the identity matrix, which causes the right side to become