theorem Th18: :: GROUP_1A:64

for G being non empty addMagma
for g, h being Element of G holds {g} + {h} = {(g + h)}