theorem Th14: :: FUNCT_4:14

for f, g, h being Function holds (f +* g) +* h = f +* (g +* h)