State/Intersections of subgroups are subgroups

 =Proof=

=Metadata=