模运算（同余）

模 n 的剩余类上的算术：加法与乘法性质、模逆元及一次同余方程求解等。