Lemma 30.8 Kurs:Kommutative Algebra/Teil I/Vorlesung 30
Kommutativer Ring/Lokal/Projektiver Modul/Frei/Fakt
