Sea formula_133 el ideal de formula_121 formado por todos los polinomios que tienen a formula_22 como un cero.