Algoritmo de Euclides extendido

GCD con coeficientes de Bézout