for F being Field
for V being VectSp of F
for l being Linear_Combination of V holds l = l ! (Carrier l)