Proof of Theorem NME2

Theorem NMLIC is yet another equivalence for a nonsingular matrix, so we can add it to the list in Theorem NME1.