theorem :: CONVEX4:33

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