Using (Definition RREF) and (Definition IM) carefully, give a proof of the following equivalence: $A$ is a square matrix in reduced row-echelon form where every column is a pivot column if and only if $A$ is the identity matrix.