x⊕y=gcd(x,y) x \oplus y= \gcd(x, y)x⊕y=gcd(x,y) 仅当 x−y=gcd(x,y)x-y= \gcd(x,y)x−y=gcd(x,y)的时候满足。
这个有证明吗 /kk
