Template:Sdf subgroup property satisfaction in