Dedekindbereich/Hauptdivisor/Erste Eigenschaften/Fakt/Beweis

Beweis

Dies folgt direkt aus Fakt durch Betrachtung an den einzelnen Primidealen.