Element of Center in Group whose Order is Power of 2

Theorem
Let $n \in \Z$ be an integer such that $n \ge 2$.

Let $G$ be a group whose order is $2^n$.

Let $x \in G$ be of order $2^{n - 1}$ in $G$.

Then $x^{2^{n - 2} }$ is an element of the center of $G$.

Proof
Let $H = \gen x$ be the subgroup of $G$ generated by $x$.

We have that the index of $H$ in $G$ is $2$.

Then by Subgroup of Index 2 is Normal, $H$ is normal in $G$.

Let $y = x^{2^{n - 2} }$.

We have that $y \in H$, by definition of the construction of $H$.

Then the order of $y$ in $G$ is $2$.

As $H$ is normal, we have:
 * $\forall g \in G: g y g^{-1} \in H$

By Order of Conjugate Element equals Order of Element, $g y g^{-1}$ is also of order $2$.

We can write $g y g^{-1} = x^m$ for some $m \in \Z$.

By Order of Power of Group Element, we have:
 * $2 = \dfrac {2^{n - 1} } {\gcd \set {m, 2^{n - 1} } }$

This leads to:
 * $\gcd \set {m, 2^{n - 1} } = 2^{n - 2}$

We have $0 < m < 2^{n - 1}$ and $2^{n - 2} \divides m$.

This forces $m = 2^{n - 2}$ and $g y g^{-1} = y$.

It follows that $g y = y g$.

Hence $y = x^{2^{n - 2} }$ is an element of the center of $G$.