Dedekindbereich/Ideal/Summe/Minimum/Aufgabe

Zeige, dass unter der Korrespondenz (siehe Fakt) zwischen Idealen ${}\neq 0$ und Divisoren in einem Dedekindbereich die Summe

von Idealen dem Minimum von Divisoren entspricht.