theorem Th15: :: FUNCT_4:15

for x being object
for f, g being Function st f tolerates g & x in dom f holds
(f +* g) . x = f . x