Test

If P is a nontrivial finite p-group, then P has a nontrivial center.

P is a normal Sylow p-subgroup of G if and only if P is the unique Sylow p-subgroup of G.