A Proof of Theorem 3.1