Es decir, si formula_59 y formula_60 son polinomios de formula_21 no nulos, con el coeficiente director de formula_60 una unidad de formula_1, entonces existen polinomios formula_64 y formula_65 de formula_21 tales que