theorem Th25: :: CONVEX4:25

for V being non empty CLSStruct
for L being C_Linear_Combination of V holds 0c * L = ZeroCLC V