Prove part 2 of the conclusion of Theorem IPSM.