Theorem 8.8 Class 9