Class 9 Theorem 8.5