Theorem

Can be used to show that if the order of a group is prime^2, then the group is commutative. A particular example of a p-group