So, I need to memorise this proof for an exam, and it seems to be just checking the subgroup criterion. However, I don't actually understand what p-groups are by the definition at the top! Some illustrative examples would be much appreciated!
In particular, this confuses me.
