Prove part 2 of the conclusion of Theorem IPVA.