theorem :: VECTSP13:14

for F being Field
for U, V being VectSp of F
for B being non empty finite Subset of U
for f being Function of B,V
for l1, l2 being Linear_Combination of B st l2 = - l1 holds
f (#) l2 = - (f (#) l1) by lemmultx;