theorem :: ZMATRLIN:61

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