>>700
3行目の

> 此のとき2^n-1≡0(modp)

は何故? ここは明らかに言えるの?