Template:Finite group subgroup structure facts to check against