>>160
つーかそれ、その真上にあるフェルマーの小定理そのものじゃないのか?

> 素数 p に対して、(a, p) = 1 ⇒ ap−1 ≡ 1 (mod p)(フェルマーの小定理)
> pを素数、aを2以上p以下の自然数とするとき、1にaを掛け続ける作業はp-1を周期に巡回する(modp) 例:(p,a)=(5,2)のとき、1にaを掛け続ける作業は1,2,4,3,1,2,4,3,1,2,…と巡回する(mod5)

携帯で編集面倒なので指数とかおかしいところは勘弁を