Kurs:Zahlentheorie (Osnabrück 2016-2017)/Hauptidealbereich/Irreduzibel ist prim/Fakt/Faktreferenznummer