text: Эта теорема утверждает, что для любого простого числа р и любого натурального числа a имеем: a p ≡ a ( mod p ) {\displaystyle a^{p}\equiv a{\pmod {p}}} или для любого простого р и любого натурального а не делящегося на р, справедливо: a p − 1 ≡ 1 ( mod p ) {\displaystyle a^{p-1}\equiv 1{\pmod {p}}} Это свойство можно использовать для проверки того, что число не является простым.