theorem Th97: :: FUNCT_4:97

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