扩展欧几里得+模线性方程+逆元