User:Madir/Sandbox

Theorem
The center of a p-group is non-trivial.

Proof
Let $\left|{G}\right| = p^k$ with $p$ prime and $k > 0$.

Then: