theorem Th34: :: MESFUN11:34

for X being non empty set
for f being PartFunc of X,ExtREAL holds max+ f = max- (- f)