theorem Th5: :: LATTICE2:5

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