Theorem 6.6 Class 9