フェルマーの小定理
$ pを素数として任意の整数に対して
$ a^p = a \mod p
が成り立つ。また、$ aが互いに素$ pであるとき
$ a^{p-1} = 1 \mod p
#mod