それだと、位数mの元がφ(m)個じゃなくて、a^iと表せる元で位数mのものがφ(m)個以下ってことしか分からなくね？
{a^i} (iとmが互いに素,1≦i≦φ(m))が重複しないことも分からないし