Lemma 22.6
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 22 Nenneraufnahme/Idealerzeuger/Nenneraufnahme an Element/Fakt
