theorem Th18: :: GROUP_2:18

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