Dedekindbereich/Durchschnitt von diskreten Bewertungsringen/Fakt

Es sei ein Dedekindbereich.

Dann ist der Durchschnitt von diskreten Bewertungsringen.