Polynomring/Variablenideal/Komplettierung/Restklassenring/Fakt/Beweis

Beweis

Dies ergibt sich aus Fakt und Fakt.