theorem Th49: :: ZMODUL02:49

for R being Ring
for V being LeftMod of R
for L being Linear_Combination of V holds - (vector ((LC_Z_Module V),L)) = - L