theorem Th1: :: LATSUBGR:1

for G being Group
for H1, H2 being Subgroup of G holds the carrier of (H1 /\ H2) = the carrier of H1 /\ the carrier of H2