theorem Th63: :: GROUP_2:63

for G being Group
for H being Subgroup of G holds (1). H = (1). G