theorem :: GROUP_1A:65

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