费马小定理

存在两个互质的数（ gcd(a,p)=1 ) a，p，(p是质数）且满足a%p!=0,则有a^(p-1)==1  （mod p 条件下）