theorem :: ZMODLAT1:47

for V being non empty ModuleStr over INT.Ring
for f, g, h being FrFunctional of V holds (f + g) + h = f + (g + h)