text: В современной формулировке теорема утверждает, что если p {\displaystyle p} — простое число и a {\displaystyle a} — целое число, не делящееся на p {\displaystyle p} , то a p − 1 ≡ 1 ( mod p ) {\displaystyle a^{p-1}\equiv 1{\pmod {p}}} .