theorem :: FUZZY_6:49

for f being Function of REAL,REAL holds max+ f = max ((AffineMap (0,0)),f)