Theorem 9.11 Class 9