Sea formula_1 un anillo conmutativo con identidad, formula_7 un polinomio en formula_157 Sea formula_80 un elemento de formula_10 El residuo de la división de formula_7 por formula_165 es exactamente formula_166