theorem Th25: :: FUNCT_4:25

for f, g being Function holds g c= f +* g