Proof of Theorem 4