任意に整数m＞2と整数aを固定する。
a^n≡-1 (mod m)を満たす正整数nが存在すると仮定し、
そのようなもので最小のものをsとおき、さらに、
aのmod mでの位数をuとおくとき、u=2sが成立する。
これを証明せよ。

sは位数uの半分くらいな感じがしますよね^^
sの言葉を使うと解答を少しだけ簡略化できる問題が存在します^^