Let $a,b\in G$ (a group) such that $ab=ba$, $|a| = m$ and $|b| = n$. If $(m, n) = 1$, then $|ab|= mn$.
Here I understand that $G$ is abelian and that this computes to $a^{mn} = b^{mn} = 1,$ and $m,n$ are relatively prime. But I really don't know about a step-by-step process of proving this.