ფერმას მცირე თეორემა
ფერმას მცირე თეორემა არის რიცხვთა თეორიის ერთ-ერთი მარტივი თეორემა, რომლის მიხედვითაც ნებისმიერი მარტივი რიცხვისთვის p {\displaystyle p} და მისი თანამარტივი (ანუ ამ შემთხვევაში — არა ჯერადი) რიცხვისთვის a {\displaystyle a} სრულდება შემდეგი იგივეობა: a p − 1 ≡ 1 ( mod p ) {\displaystyle a^{p-1}\equiv 1{\pmod {p}}} ( mod p ) {\displaystyle {\pmod {p}}} აღნიშნავს იგივეობის შესრულებას p {\displaystyle p} -ს მოდულით. (ანუ იგივეობის ორივე ნაწილი ერთმანეთის ტოლი არ არის. მხოლოდ მათი p {\displaystyle p} -ზე გაყოფის ნაშთებია ტოლი). მოდულის გარეშე თეორემა შეგვიძლია შემდეგნაირად ჩამოვაყალიბოთ: გამოსახულება a p − 1 − 1 {\displaystyle a^{p-1}-1} იყოფა რიცხვ p {\displaystyle p} -ზე ნებისმიერი p {\displaystyle p} და a {\displaystyle a} -სთვის. ფერმას დიდი თეორემისგან განსხვავებით ფერმას ეს თეორემა საკმაოდ მარტივი დასამტკიცებელია და როგორც წესი მათემატიკის უმაღლესი განათლების პროგრამის პირველივე კურსში შედის ხოლმე.