theorem :: GROUP_1A:67

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