A Proof of Theorem 4.1