Lemma

Let $G$ be a cyclic group of order $n$. Then, for any divisor $d$, $G$ contains an element of order $d$.