Input (grade 13): The Chinese remainder theorem is a result about congruences in number theory and its generalizations in abstract algebra.
Output (grade 12): The Chinese remainder theorem is a theorem from number theory.