Prove Theorem 6 3