theorem :: GROUP_1A:57

for G being addGroup
for A, B being Subset of G holds - (A + B) = (- B) + (- A)