text: Так, если a {\displaystyle a} делится на p {\displaystyle p} , то a ≡ 0 ( mod p ) {\displaystyle a\equiv 0{\pmod {p}}} и a p ≡ 0 ( mod p ) {\displaystyle a^{p}\equiv 0{\pmod {p}}} , т.е. a p ≡ a ( mod p ) {\displaystyle a^{p}\equiv a{\pmod {p}}} .