theorem Th40: :: CONVEX4:40

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