Theorem 16.1.1 math 9th class