theorem Th2: :: MESFUN14:2

for X being non empty set
for f being PartFunc of X,ExtREAL st f is V55() holds
( - f is V55() & max+ f is V55() & max- f is V55() )