Theorem 13.1.2 math 9th class