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