Polynomring/Variablenideal/Komplettierung/Restklassenring/Fakt/Beweis