Kategorie:Theorie der Idealzerlegung in Dedekindbereichen/Beweise