theorem Th72: :: FUNCT_4:72

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