欧拉定理（数论）a^fai(p)=1(mod p),a与p互质。只是互质，而不是质数。若p是质数，则fai(p)=p*(1-1/p)=p-1。所以在p是质数的情况下，a^(p-1)=1(mod p),欧拉定理的特殊情况就退化成了费马小定理。
fai(p)是欧拉函数。
