Prove the second part of Theorem MMIM.