theorem Th49: :: ZMODUL02:49

for V being Z_Module
for L being Linear_Combination of V holds - (vector ((LC_Z_Module V),L)) = - L