Por la teoría general de polinomios, se tendrá que, formula_257 será un factor de formula_119 en formula_10, o sea que habrá un polinomio formula_137 en formula_261 tal que: