theorem Th34: :: FUNCT_4:34

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