theorem Th27: :: FUNCT_4:27

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