Kurs:Zahlentheorie (Osnabrück 2016-2017)/Kommutative Ringtheorie/Normal/Nenneraufnahme ist normal/Fakt/Faktreferenznummer