Template:Finite p-group subgroup structure facts to check against