若 t = 1 , a ^ ( p - 2 ) 为 a 在取模 p 意义下的乘法逆元
通常用 inv 表示
证明：
b * a =（三等）1（mod p）
a ^ ( p - 2 ) * a =（三等）1（mod p）
把两个阶乘拆开,发现组合数只与 n！、（n！）^ ( p - 2 ) 有关
证明：
d=gcd(a,b) a=xd b=yd a-b=(x-y)d
gcd(b,a-b)
假设存在t>1 , t|y , t|x-y , 推出t|x , t|y , 推出t|a , t|b , gcd(a,b) = td , 与题目描述矛盾