theorem sa: :: VECTSP13:38

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