theorem canlinsurj1: :: VECTSP13:5

for F being Field
for U, V being VectSp of F
for B being Subset of U
for A being Subset of V
for T being linear-transformation of U,V st T .: B c= A holds
for l being Linear_Combination of B holds T . (Sum l) in Lin A