theorem Th60: :: RMOD_4:60

for R being domRing
for V being RightMod of R
for L being Linear_Combination of V holds Sum (- L) = - (Sum L)