Sean formula_5 y formula_17 polinomios en formula_154 tales que el coeficiente líder de al menos uno de esos polinomios no es un divisor de cero.