Dedekindbereich/Hauptdivisor/Endlich/Fakt/Beweis