Prove the second part of Theorem MMZM.