Si formula_58 es un formula_79 se cumple la identidad de Bezout, o sea, hay polinomios formula_80 y formula_81 tales que