Odd Order Group Element is Square

Theorem
Let $\left({G, \circ}\right)$ be a group whose identity is $e$.

Let $x \in G$ such that $\left\vert{x}\right\vert$ is odd.

Then:
 * $\exists y \in G: y^2 = x$ iff $\left\vert{x}\right\vert$ is odd

where $\left\vert{x}\right\vert$ denotes the order of $x$.

Proof
Let $\left\vert{x}\right\vert$ be odd.

Then:
 * $\exists n \in \Z_{> 0}: x^{2 n - 1} = e$

from the definition of the order of an element.

Conversely, suppose that
 * $\exists n \in \Z_{> 0}: x^{2 n - 1} = e$

Then $\left\vert{x}\right\vert$ is a divisor of $2 n - 1$ from Element to Power of Multiple of Order is Identity.

Hence $\left\vert{x}\right\vert$ is odd.

So $\left\vert{x}\right\vert$ is odd iff $\exists n \in \Z_{> 0}: x^{2 n - 1} = e$.

Then:

Hence the result.