欧几里得算法：
在数学中，辗转相除法，又称欧几里得算法
两个整数的最大公约数等于其中较小的数和两数的差的最大公约数。例如，252和105的最大公约数是21，
252 − 105 = 21 × (12 − 5) = 147，147与 105的最大公约数也是21，在这个过程中，较大的数缩小了，所以继续进行同样的计算可以不断缩小这两个数直至其中一个变成零 147 - 105 = 42，105 - 42 = 63 63 - 42 = 21， 21 - 21 = 0，可以得最大公约数为21
由辗转相除法也可以推出，两数的最大公约数可以用两数的整数倍相加来表示，如 21 = 5 × 105 + (−2) × 252 。这个重要的结论叫做裴蜀定理。
正确性解释：未详细看
https://zh.wikipedia.org/wiki/辗转相除法