设 d=gcd(a,b)d=\textup{\textmd gcd}(a,b)d=gcd(a,b)。 问是否满足 d mod m=gcd(a mod m,b mod m) mod md \bmod m=gcd(a \bmod m,b \bmod m) \bmod mdmodm=gcd(amodm,bmodm)modm。
可以给出反例,最好给出证明。