A Proof of Theorem 1 Proof