Sea formula_1 un dominio de integridad y sean formula_70 formula_21 polinomios en formula_157 Entonces, formula_237