既然同余方程须满足a与p互质使得a在模p意义下有逆元，此时应该exgcd和费马小定理都可以用吧（所以为什么我要学exgcd