theorem Th65: :: GROUP_2:65

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