A Proof of Theorem 4