n=2のときはn-1=1なのでn≧3で考える.n-1が2で1回だけ割れるとき,ord_2(n^(n-1)-1)=ord_2(n²-1)+ord_2(n-1)-1=ord_2(n²-1)=ord_2(n+1)+1≧2.奇素因数および,n-1が2で割れる回数が2でないときのn-1の任意の素因数pに対し,ord_p(n^(n-1)-1)=2ord_p(n-1)=ord_p((n-1)²)