theorem :: ZMODUL01:16

for V being LeftMod of INT.Ring
for a being Element of INT.Ring
for v being Vector of V holds (- a) * v = - (a * v)