Faktorieller Bereich/Primfaktorzerlegung/KgV und ggT/Fakt/Beweis