Problem 4

Let $G$ be a group with identity $e$. Suppose an element $x\in G$ has finite order $n$. Prove that a positive integer $m$ is a multiple of $n$ if and only if $x^{m}=e$.(Hint: consider Euclid’s division lemma (an exercise given elsewhere in the book) to prove one direction of the claim.)