Lemma 25.9
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 25 Integritätsbereich/Primelement/Nenneraufnahme/Rückübersetzung/Fakt