Proof of Theorem NME1

The statement that $A$ is nonsingular is equivalent to each of the subsequent statements by, in turn, Theorem NMRRI, Theorem NMTNS and Theorem NMUS. So the statement of this theorem is just a convenient way to organize all these results.