Малая тэарэма Ферма

Калі p — просты лік, і a не дзеліцца на p, то

${\displaystyle a^{p-1}\equiv 1{\pmod {p}.}$

Інакш кажучы, ${\displaystyle a^{p-1}$ пры дзяленні на ${\displaystyle p}$ дае астачу 1.

Для любога простага p і цэлага a лік ${\displaystyle (a^{p}-a)}$ дзеліцца на ${\displaystyle p.}$