Class 9 Theorem 8.1