theorem Th60: :: ZMODUL02:60

for V being Z_Module
for v1, v2 being Vector of V st {v1,v2} is linearly-independent holds
v1 <> 0. V by VECTSP_7:4;