theorem :: PARTFUN1:57

for f, g, h being Function st f c= h & g c= h holds
f tolerates g by Th52;