フェルマーの小定理
https://ja.wikipedia.org/wiki/フェルマーの小定理
素数Pをmodとすると
$ a^{p-1} \equiv 1