Es sei R {\displaystyle {}R} ein Dedekindbereich.
Dann ist R {\displaystyle {}R} der Durchschnitt von diskreten Bewertungsringen.