同余方程(mod)