Template:Subgroup property non-implication in