Sea formula_238 un dominio y formula_7 un polinomio no nulo en formula_240 Si formula_241 entonces