theorem :: ZMODUL02:59

for V being Z_Module
for v being Vector of V st V is Mult-cancelable holds
( {v} is linearly-independent iff v <> 0. V )