theorem Th61: :: GROUP_3:61

for G being Group
for H being strict Subgroup of G holds H |^ (1_ G) = H