Prove Theorem 6 1 Class Comment