Entonces mcd(a,b) = mcd(b,r) donde r es el único 0 < r < b tal que existe un entero q con a= bq + r (esto es, que r es el resto de la división de a por b)