theorem Th3: :: AOFA_L00:3

for f, g being Function holds f tolerates g +* f