theorem :: RMOD_4:3

for R being Ring
for V being RightMod of R
for a being Scalar of R
for u, v being Vector of V holds (Sum <*v,u*>) * a = (v * a) + (u * a)