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

GF(p^m)は p^m個のｍ組のベクトルが存在すると書くと、p^mがｍで割り切れると誤解を与えてしますが、

それは間違いである。やはり求めるものは原始多項式の数

　　φ(ｐ^m-1)/ｍ

なのである。

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