theorem Th51: :: PARTFUN1:51

for f, g being Function holds
( f tolerates g iff ex h being Function st f \/ g = h ) by Th1, Th2;