Más aún, si al usar el algoritmo de Euclides extendido (ahora con formula_132) se obtiene formula_133, entonces el valor formula_54 es el inverso módulo formula_108 de formula_1.