theorem Th28: :: FUNCT_4:28

for f, g being Function holds
( f tolerates g iff f c= f +* g )