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