gcd(a,b) = gcd(b, a mod b)
求a,b的最大公約數d
有 a = bk + r
a = x*d
b = y*d
->
r = a - bk (即a mod b)
r = xd - ydk
r = (x-yk)d
即d也可以被a mod b整除,d是a mod b的公約數
因為d是b的公約數
所以 gcd(b,a mod b)成立
</script>