theorem :: GROUP_4:33

for G being Group
for A, B being Subset of G holds gr (A /\ B) is Subgroup of (gr A) /\ (gr B)