theorem :: ZMODUL01:15

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