theorem :: ZMODUL02:9

for V being Z_Module
for v being Element of V holds (ZeroLC V) . v = 0. INT.Ring