Lemma 6.12
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 6 Monoidring/Erzeuger und Relationen/Ideal/Fakt