En particular, invocando el algoritmo extendido de Euclides con "n" y "p" como argumentos se obtiene una tripla ("x","y",mcd("n","p")) tal que