Template:Subgroup property implication