theorem Th46: :: GROUP_2:46

for G being Group
for H being Subgroup of G holds 1_ G in H