A Proof of Theorem 1, y