数论基础-欧几里得最大公约数算法