theorem Th32: :: FUNCT_4:32

for f, g being Function st dom f misses dom g holds
f c= f +* g