Dedekindbereich/Divisorenklassengruppe/Charakterisierung von faktoriell/Fakt/Name

Der Satz über die Divisorenklassengruppe und die Faktorialität von Dedekindbereichen.