Sean formula_7 y formula_21 polinomios con coeficientes en formula_1 tales que el coeficiente líder de formula_21 sea una unidad de formula_1 (o sea, invertible en formula_1).