Let be a finite group such that . If for the elements it holds that
then prove that is abelian.
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.