theorem :: PARTFUN1:54

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