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