theorem Th98: :: FUNCT_4:98

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