theorem :: PARTFUN1:81

for x being object
for f, g being Function st f . x = g . x holds
f | {x} tolerates g | {x}