Sean los polinomios formula_1 y formula_2, donde formula_2 no es el polinomio nulo, entonces existe un único par de polinomios formula_4 y formula_5 tal que: