Prove Theorem 7.4