theorem Th10: :: XXREAL_3:10

for f, g being ExtReal st - f = - g holds
f = g