Prove that if G is a finite p-group, then its center is non-trivial.

Use this fact to prove if , then G is abelian.

For the first part, I have:

So . By the class equation, .

Since ,

So and .

Since p is prime, . Therefore,

So how do I use that to prove the next part?