for V being non empty CLSStruct
for L being C_Linear_Combination of V holds 1r * L = L