theorem Th11: :: GROUP_1A:11

for G being addGroup
for g, h being Element of G st h + g = 0_ G holds
( h = - g & g = - h )