theorem Th44: :: GROUP_2:44

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