Mažoji Ferma teorema
Mažoji Ferma teorema - skaičių teorijos teorema, suformuluota prancūzų matematiko Pjero Ferma, skelbia, kad: „Jeigu a nesidalija iš p ir jei p yra pirminis skaičius, tai ( a p − 1 − 1 {\displaystyle a^{p-1}-1} ) dalijasi iš p.“ Naudojant modulinę aritmetiką tai užrašoma taip: a p − 1 ≡ 1 ( mod p ) . {\displaystyle a^{p-1}\equiv 1{\pmod {p}}.} Pirmąjį šios teoremos įrodymą 1736 m. paskelbė Leonardas Euleris, tačiau yra žinoma, kad Gotfrydas Leibnicas pateikė identišką įrodymą neskelbtame rankraštyje iki 1683 m. Mažoji Ferma teorema gali būti apibendrinta iki Oilerio teoremos.