theorem Th11: :: HAHNBAN1:13

for K being non empty add-associative addLoopStr
for V being non empty ModuleStr over K
for f, g, h being Functional of V holds (f + g) + h = f + (g + h)