Adds p-groups to theorem.
Removes incorrect citation.