Even Order Group has Order 2 Element

Theorem
Let $G$ be a group whose identity is $e$.

Let $G$ be of even order.

Then:
 * $\exists x \in G: \order x = 2$

That is:
 * $\exists x \in G: x \ne e: x^2 = e$