theorem sd: :: VECTSP13:37

for X being non empty set
for R being Ring
for L being non empty scalar-distributive ModuleStr over R
for a, b being Element of R
for f being Function of X,L holds (a + b) '*' f = (a '*' f) '+' (b '*' f)