Theorem 12.1.5 math 9th class