Let be a finite group such that . If for the elements it holds that

then prove that is abelian.

**Solution**

Therefore forall we have or equivelantly . Taking advantage of the last relation we get that:

as well as

The last two relations hold for all . Thus, for all it holds that:

which in turn implies

and since is we eventually get proving the claim that is abelian.