theorem Th36: :: MESFUN11:36

for X being non empty set
for f, g being PartFunc of X,ExtREAL st f = - g holds
g = - f