定义:设a=qb+r, 其中a,b,q,r都是整数,则gcd(a,b)=gcd(b,r). 证明:只需证a,b和b,r有相同的公因子。设d是a,b的公因子,(若a整除b,且a整除c则a整除x*b+y*c),则d整除r=a-qb,得证。