theorem :: FUNCT_4:124

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