我们知道，推导exgcd时， ax+by=gcd(a,b)ax+by=\gcd(a,b)ax+by=gcd(a,b) 并且 gcd(a,b)=gcd(b,a mod b)\gcd(a,b)=\gcd(b,a\bmod b)gcd(a,b)=gcd(b,amodb) 那么为什么 ax+by=bx′+(a mod b)y′=gcd(a,b)ax+by=bx'+(a\bmod b)y'=\gcd(a,b)ax+by=bx′+(amodb)y′=gcd(a,b) 呢
