Rework the proof that a square system has exactly one solution iff the nxn matrix is row-equivalent to I_n