La demostración de esto se basa en el algoritmo de la división: primero se demuestra que "d" divide a ambos números y, como "d" es del conjunto "S", se llega a que cualquier otro divisor común de "a" y "b" tiene que dividir a "d"; de aquí que "d" sea el "MCD(a,b)" .