正在自学斐蜀定理，oi-wiki上说这里当辗转相除法出到互质时退出，可是 $ax+by=\gcd(a,b)$ 接着两边除以 $\gcd(a,b)$，变为 $a_1x+b_1y=1$ 这时 $a_1$ 和 $b_1$ 不是已经互质了吗，难道直接退出？请问各位大佬是我理解的问题吗？