理论概念
在模 p 下，a 的乘法逆元是满足 a·x ≡ 1 (mod p) 的 x，记作 a^(-1)。
费马小定理：若 p 为质数且 p 不整除 a，则 a^(p-1) ≡ 1 (mod p)，故 a^(-1) ≡ a^(p-2) (mod p)。
公式实验
在模 p 下，a 的乘法逆元是满足 a·x ≡ 1 (mod p) 的 x，记作 a^(-1)。
费马小定理：若 p 为质数且 p 不整除 a，则 a^(p-1) ≡ 1 (mod p)，故 a^(-1) ≡ a^(p-2) (mod p)。
