The order of a cyclic group equals the order of its generator
Given a finite-ordered group element
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 .