Proof of Theorem NME4

Since Theorem CSNM is an equivalence, we can add it to the list in Theorem NME3.