Diskreter Bewertungsring/Normiertes Polynom/Ableitungsbedingung/Normal/Fakt/Beweis

Beweis

Dies folgt aus Fakt in Verbindung mit einer Variante von Aufgabe.