結局

p^m-1=ｐ1^α1・ｐ2^α2・・・ｐk^αk　　（ｐ1＜ｐ2＜・・・＜ｐk）

φ(p^m-1)=Πｐi^αi-1・（ｐi-1）

ｐi=Nm+1

となるものがあることを示せればよいのだが・・・。

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

［１］ｐを素数，ｑをp^m-1の素因数とする

　ｐ^ｍ＝１　　（ｍｏｄｑ）ならば，ｑ＝１　　（ｍｏｄｍ）である

　ｑ＝１　　（ｍｏｄｍ）ならば、ｐ^ｍ＝１　　（ｍｏｄｑ）である。

を証明すればよい。

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝