theorem Th7: :: GROUP_1A:7

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