theorem Th75: :: GROUP_2:75

for G being Group
for g being Element of G
for H being Subgroup of G st g in carr H holds
g " in carr H