Satz 42.5
Kurs:Grundkurs Mathematik (Osnabrück 2018-2019)/Teil II/Vorlesung 42
Kommutative Ringtheorie/Z ist normal/Wurzeln aus ganzen Zahlen sind irrational/2/Fakt