theorem Th41: :: GROUP_2:41

for G being non empty Group-like multMagma
for H being Subgroup of G
for h being Element of H holds h in G by Th40, STRUCT_0:def 5;