Theorem 8.6 Class 9 Proof