Proof of Theorem NME9: Adding commas

The grammar just seemed off, not sure if this is the best way to fix it.