theorem Th48: :: RMOD_4:48

for R being Ring
for V being RightMod of R
for a, b being Scalar of R
for L being Linear_Combination of V holds (L * b) * a = L * (b * a)