theorem :: FUNCT_2:74

for X being set
for f, g being Function of X,X st f tolerates g holds
f = g by PARTFUN1:66;