Kategorie:Theorie der Divisorenklassengruppe (Dedekindbereich)/Beweise