theorem LT2: :: VECTSP13:41

for R being commutative Ring
for U, V being VectSp of R
for f being linear-transformation of U,V
for a being Element of R holds a '*' f is linear-transformation of U,V