The order of a cyclic group equals the order of its generator
Given a finite-ordered group element such that ,
it follows that . #m/thm/group
Proof
Clearly .
Additionally, since is the smallest positive integer such that ,
each of these elements is unique: we need only show they be exhausted.
Let .
By the division algorithm where .
Then .