Изменения
Нет описания правки
|about=Малая теорема Ферма
|statement=
Если <tex>p</tex> простое и <tex>a</tex> любое, то <tex>a^p\equiv a\pmod p</tex> в частности, если не делится на <tex>p</tex> не делитель <tex>a</tex>, то <tex>a^{p-1}\equiv 1\pmod p</tex>
}}
На основании этой теоремы можно построить достаточно мощный тест на простоту:
