Group theory/Lagrange/Order of an element/Fact/Proof

Proof

Let ${}H$ be the subgroup generated by ${}g$. Due to fact, we have

${}\operatorname {ord} \,(g)=\operatorname {ord} \,(H)\,.$

Therefore, due to fact, this number divides the group order of ${}G$.

To fact