theorem :: FUNCT_4:39

for X being set
for D being non empty set
for f, g being Function of X,D holds f +* g = g by Th37;