Fermat'nın küçük teoremi

Fermat'ın küçük teoremi p asal sayı ise ve obeb(p,a)=1 yani a ve p aralarında asal ise , < a doğal sayı olmazsa olmaz >

1)$a^{p-1} \equiv 1 \pmod{p}\,\!$

2)Her a€Z,için a^p =a(mod p)

olduğunu belirten teoremdir. Daha sonra Leonhard Euler tarafından ispatlanmıştır.

Teorem asallık testlerinde ve bilgisayarda büyük sayılarla işlemlerde kullanılır.