Dedekindbereich/Hauptdivisor/Endlich/Fakt/Beweis

Beweis

Es ist nulldimensional, deshalb folgt die Aussage aus Fakt.