Satz 18.7
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 18 Kommutativer noetherscher Ring/Hauptidealsatz/Allgemein/Fakt