theorem Th54: :: GROUP_2:54

for G being Group holds G is Subgroup of G