theorem :: RLVECT_2:53

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