theorem ass: :: VECTSP13:32

for X being non empty set
for L being non empty add-associative addLoopStr
for f, g, h being Function of X,L holds (f '+' g) '+' h = f '+' (g '+' h)