Zahlbereich/Divisorenklassengruppe/Charakterisierung von faktoriell/Fakt/Beweis/Aufgabe