Zahlentheorie (Z)/Z ist faktoriell/Fakt/Beweis