Proof of Theorem NME6

Building on Theorem NME5 we can add two of the statements from Theorem RNNM.