theorem :: RMOD_4:4

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