Theorem 13.1.3 9th math mathematics