Sea formula_1 un anillo conmutativo con identidad, formula_7 un polinomio de formula_157 Un elemento formula_80 de formula_1 es un cero de formula_70 ssi, formula_173 es un factor