Past exam of the mathematics course of the University of Oxford / 2015 / Prelims / Mathematics I / 6 / a / iii / Solution

The hypothesis implies $x^{-1}=x$ for every $x\in G$, including $e$. For $a,b\in G$,Thus $G$ is an abelian group. This is the group of exponent two is abelian argument.

The converse is false: the cyclic group $C_3$ is an abelian group, but its two nonidentity elements have order of a group element three.