theorem :: FUNCT_4:33

for f, g being Function st dom f misses dom g holds
(f +* g) | (dom f) = f