Kurs:Zahlentheorie (Osnabrück 2008)/Kommutative Ringtheorie/Hauptidealbereiche sind Dedekindbereiche/Fakt/Faktreferenznummer