Prove Theorem 6 5