Gを位数nの巡回群とする
Gの元の位数はnの約数であり、逆にnの各約数mに対し位数mの元が存在
<a>=<a^i>となるには、iと|<a>|が互いに素なことが必要十分
だから、位数mの元はφ(m)個あるので、mをnの約数全体動かせば
n=Σ[m|n]φ(m)