Prove Theorem 68