theorem Th117: :: FUNCT_4:117

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