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

Beweis

Dies folgt sofort aus Fakt.