Solution
= Solution
The order of $g$ is the least positive $r$ with $g^r=e$. Division $n=qr+s$ shows $g^n=e$ forces $s=0$. <Lagrange theorem> follows because left cosets of a <subgroup> partition $G$ into equal blocks; applying it to $\langle g\rangle$ shows $|g|\mid|G|$. Coset multiplication makes $G/N$ a <group> when $N\triangleleft G$. If $x\in N$, then $x^n=e$. Conversely, if $x^n=e$, the order of $xN$ divides both $m$ and $n$, hence is one, so $x\in N$.