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