Proof of Theorem NME9: Adding commas