theorem Th28: :: ZMODUL02:28

for R being Ring
for V being LeftMod of R
for L1, L2, L3 being Linear_Combination of V holds L1 + (L2 + L3) = (L1 + L2) + L3 by VECTSP_6:26;