Mazā Fermā teorēma
Ja \(p\) ir pirmskaitlis un \(a\) ir vesels skaitlis, kas nedalās ar \(p\), tad ap−1−1≡0(modp) jeb ap−1−1 dalās ar \(p\).
Piemēram, ja \(a=2\), bet \(p=7\), tad
27−1−1=26−1=64−1=6363≡0(mod7)
Kā zināms,  \(63\) dalās ar \(7\).
 
Fermā teorēmu pieraksta arī sekojoši
ap−1≡1(modp)
Piemērs:
Izmantojot mazo Fermā teorēmu, nosaki ar ko kongruenta pakāpe 136 pēc dotā moduļa 7.
136=137−1137−1≡1mod7
Fermā teorēma ir viena no fundamentālajām skaitļu teorijas teorēmām. Tā ir nosaukta par godu Pjēram Fermā, kas  šo teorēmu formulēja 1640. gadā. To sauc par "mazo teorēmu", lai atšķirtu no Fermā lielās teorēmas. Pirmais šīs teorēmas pierādījums tika publicēts 1736. gadā un to bija sastādījis Leonards Eilers, tomēr ir zināms, ka Gotfrīds Leibnics nepublicētā manuskriptā bija sniedzis identisku pierādījumu jau pirms 1683. gada
  
Atsauce:
Materiālu sagatavoja Mg. math. Laima Baltiņa, JTV skolotāja