theorem Th32: :: MESFUN11:32

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