The group is a nontrivial finite p-group, so the nontrivial center of a finite p-group gives . If , then is already a nontrivial proper normal subgroup, so is not a simple group. If , then is abelian. By Cauchy's theorem for finite groups, it has a subgroup of order ; every subgroup of an abelian group is normal, and this subgroup is nontrivial and proper because . Thus in every case