theorem :: GROUP_1A:50

for G being addGroup
for g, h being Element of G holds - {g,h} = {(- g),(- h)}