theorem Th11: :: FUNCT_4:11

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