① 自然数mに対して
5^2^m≡1(mod2^(m+2))、not≡1((mod2^(m+3))
であることを、mに関する数学的帰納法で示せ。
② ①の結果を利用して
5^2^(n-2)≡1(mod2^n) (n≧2)、
5^2^(n-3) not≡1(mod2^n) (n≧3)
であることを示せ。
③ 5^2^(m-1)≡-1(mod2^n) (m≧1)、
5^2^(m-1) not≡-1(mod2^n) (m≧1、n≧2)
を示せ。
ご教示願います。
★希望★完全解答★