Template:Subgroup property implication-reversing conditions