Proof of Theorem 2