Order of Boolean Group is Power of 2

Theorem
Let $G$ be a Boolean group.

Let $\order G$ denote the order of $G$.

Then:
 * $\order G = 2^n$

where $n \in \Z_{\ge 0}$ is a positive integer.

Proof
The case where $n = 0$ is clear:
 * $\order {\set e} = 1$

and $e^2 = e$.

$\order G = p \times 2^k$ for some odd prime $p$.

Then by Cauchy's Lemma there exists $g \in G$ such that $\order g = p$.

Hence it is not the case that $g^2 = e$.

Hence $\order G$ has no prime factor which is odd.

The result follows.