Group Element is Self-Inverse iff Order 2

Theorem
Let $\struct {S, \circ}$ be a group whose identity is $e$.

An element $x \in \struct {S, \circ}$ is self-inverse :
 * $\order x = 2$

Proof
Let $x \in G: x \ne e$.