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