Theorem 6.4 Class 10 Proof