theorem :: RMOD_4:40

for R being Ring
for V being RightMod of R
for L1, L2, L3 being Linear_Combination of V holds L1 + (L2 + L3) = (L1 + L2) + L3