
theorem
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;
