Template:Subgroup property testing problem