Rt，闲的没事自学了一下crt，发现要用乘法逆元，过来学了一下，结果有个问题：

$a * x \equiv1\pmod{p}$

既然说x为a在模p的下的乘法逆元，那么x是否唯一，以及如果不唯一是要取最小值吗。

感谢各路神犇指导一下我这个蒟蒻，最好有简略的证明（wtcl）

禁止无意义回复