Prove that if is a prime and a nonabelian group of order , then .
Since is nonabelian, we have . Moreover, if , then is cyclic, so that is abelian; thus . Since every -group has a nontrivial center, we have by Lagrange.
Now ; we know that every group of order is abelian, thus we have . Since is nonabelian, ; thus , and we have .