Input (grade 13): Although at first sight the theorem seems' obvious', it does not hold in more general number systems, including many rings of algebraic integers.
Output (grade 12): However, the theorem is not true in more general number systems, like algebraic integers.