Kategorie:Theorie der Primfaktorzerlegung (Z)/Beweise