theorem Th39: :: CONVEX4:39

for V being non empty CLSStruct
for a being Complex
for L being C_Linear_Combination of V holds a * (vector ((LC_CLSpace V),L)) = a * L