Dedekindbereich/Durchschnitt von diskreten Bewertungsringen/Fakt/Beweis

Beweis

Nach Fakt ist

wobei durch alle maximalen Ideale von läuft. Nach Fakt sind die beteiligten Lokalisierungen allesamt diskrete Bewertungsringe.