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