逆元·直觉

模意义下没有直接的除法，但可以“乘以逆元”代替。a 的逆元 inv(a) 满足 a×inv(a)≡1 (mod p)，于是 b/a mod p = b×inv(a) mod p。它就像模世界里的“倒数”。