RT oiwiki 上关于扩展欧拉定理有说
若模 mmm 不能被 aaa 整除，而因为 aaa 是一个素数，那么 gcd(a,m)=1\gcd(a, m) = 1gcd(a,m)=1 成立，根据欧拉定理，容易证明该式成立。
但是小 SX 不知道哪里容易了/kel wtcl，求助，问完删 qAq
