Class 9 Theorem 9.9