模运算的运算法则及逆元的计算