Template:Subgroup property implication in