フェルマーの小定理

p を素数とし、a を p の倍数でない整数（a と p は互いに素）とするときに、

$ a^{p-1}\equiv 1{\pmod {p}}