rt 具体可参见模版乘法逆元 逆元的唯一性是指只有一个解，还是说解都是模p的同一个剩余类呢 还有为什么在a，p互质的情况下，exgcd求出来的x就是答案呢