Tour:Intersection of subgroups is subgroup