theorem :: GROUP_1A:72

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