Proof of Theorem NME5

With a new equivalence for a nonsingular matrix in Theorem CNMB we can expand Theorem NME4.