theorem :: ZMODUL02:61

for V being Z_Module
for v being Vector of V holds {v,(0. V)} is linearly-dependent by Th60;