theorem ThB3: :: GROUP_1A:49

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