Sea formula_21 tal que formula_134 en formula_10 Esto significa que formula_21 no está en formula_137 o sea que formula_138 Por la identidad de Bezout, hay polinomios formula_139 formula_81 tales que