Korollar 22.18
Kurs:Zahlentheorie (Osnabrück 2008)/Vorlesung 22 Dedekindbereich/Lokalisierung an maximalem Ideal/Diskreter Bewertungsring/Fakt