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

Калі 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.}$