Proof of Theorem NME3

We can update our list of equivalences for nonsingular matrices (Theorem NME2) with the equivalent condition from Theorem NI.