Part 1: The Setup


Part 2: The Proof