如果两个数有最大公约数A,那么这两个数,以及这两个数的差,还有大数除以小数的余数,必然都是A的倍数.
所以当最后两个数刚好能整除时,较小的数就是最大公约数.