Kurs:Kommutative Algebra/Hauptidealbereich/Ist faktoriell (ohne Begriff)/Fakt/Faktreferenznummer