Prove the second part of Theorem MMSMM.