for V being RealLinearSpace
for L being Linear_Combination of V holds - (- L) = L