theorem :: ZMODUL01:14

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