>>553

(上)
n=(2^e)m（mは奇数)、Kは奇数とする。
K^n - 1 = {K^(n/2) -1}{K^(n/2) +1}
　= {K^(n/4) -1}{K^(n/4) +1}{K^(n/2) +1}
　= ･･･
　= (K^m -1)(K^m +1){K^(2m) +1} ･････ {K^(n/4) +1}{K^(n/2) +1}
右辺の e+1 個の因子はすべて偶数で、初めの2つの一方は4の倍数。

(下)
2^e≧e+1、m≧1,
但し、等号は同時には成立しない。(n>2)
∴ n = (2^e)m > e+1,
∴ n≧e+2.