As
and
are abelian,
.
Similarly progressing we obtain
Let
be a group of
elements, where
is a natural number.
Except
there is an odd number of elements in
.
Those elements who's order is greater than 2 can be paired with their inverse.
Since we have started with an of number of elements,
we must end with at least one unpaired element
that satisfies
.