m|φ(ｐ^m-1)は任意のｍについて成り立つトーシェント関数の（奇妙だが）重要な性質である。

φ(ｐ^m)＝ｐ^(m-1)(p-1)

φ(ｐ^m)＝ｐ^(m-1)(p-1)

ｐ^(m-1)=1 (modm)

φ(ｐ^m)＝(p-1) (modm)

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

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

φ(ｐ^m-1)＝?

φ(ｐ^m-1)＝? (modm)

(p,m)=1とは限らない。どうやって証明すればよいのだろうか？

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

ｐ^(m)=p (modm)

ｐ^(m)-1=p-1 (modm)

ｐ^(m)-1=(p-1)(p^m-1+p^m-2+・・・+p+1)

また、

(p-1)^m=(p^m)+(-1)^m=p+(-1)^m (modm)

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