Template:Subgroup metaproperty implication