for f, g being Function holds
( f tolerates g iff f \/ g is Function ) by Th1, Th2;