theorem :: GROUP_1A:66

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