が成立し、formula_58は位数 "n" の巡回群となる。