theorem LT1: :: VECTSP13:40

for R being commutative Ring
for U, V being VectSp of R
for f, g being linear-transformation of U,V holds f '+' g is linear-transformation of U,V