theorem Th41: :: GROUP_1A:87

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