同余方程ax≡b(mod m)ax≡b(mod\;m)ax≡b(modm)，设d=gcd(a,m)d=gcd(a,m)d=gcd(a,m)且d∣bd|bd∣b
求证：有恰ddd个模mmm不同余的解，它们遍历模ddd的完全剩余系
