Theorem 8.4 Class 9