Kommutative Ringtheorie/Normal/Wurzeln aus Elementen im Quotientenkörper/Fakt/Beweis

Beweis

Die Voraussetzung bedeutet, dass ganz über ist, da es die Ganzheitsgleichung

erfüllt. Also ist wegen der Normalität.