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

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

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

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

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

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

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

φ(ｐ^m-1)＝?

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

どうやって証明すればよいのだろうか？

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