theorem Th3: :: LATSUBGR:3

for G being Group
for A being Subset of G
for H being strict Subgroup of G st A = the carrier of H holds
gr A = H