Proof of Theorem 1