Group theory/Lagrange/Order of an element/Fact

Lagrange's theorem (order of a group element)

Let ${}G$ be a finite group, and let ${}g\in G$ denote an element.

Then the

order of ${}g$ divides the

group order.

Proof, Write another proof