Es decir, "d" es el "MCD(a,b)=ax0+by0", para algunos enteros x0,y0.