order of a cyclic group is equal to the order of its generator