Nach Fakt ist
wobei m {\displaystyle {}{\mathfrak {m}}} durch alle maximalen Ideale von R {\displaystyle {}R} läuft. Nach Fakt sind die beteiligten Lokalisierungen R m {\displaystyle {}R_{\mathfrak {m}}} allesamt diskrete Bewertungsringe.