theorem :: MESFUNC6:45

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