Theorem 10.6 Class 9 Proof