theorem :: LATSUBGR:17

for G being Group
for H being strict Subgroup of G
for g being Element of G st g in (carr G) . H holds
g " in (carr G) . H