theorem Th30: :: FUNCT_4:30

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