同余定理+逆元