若 gcd(a,m)=1\gcd(a,m)=1gcd(a,m)=1,则 aφ(m)≡1(modm)a^{\varphi(m)}\equiv 1\pmod maφ(m)≡1(modm)。
在信息学中,除了证明费马小定理还有什么用?