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: \left|{x}\right| = 2$.

That is, $\exists x \in G: x \ne e_G: x^2 = e$.