Tour:Sufficiency of subgroup criterion