Kommutative Ringtheorie/Z ist normal/Wurzeln aus ganzen Zahlen sind irrational/2/Fakt/Beweis/Aufgabe