theorem :: ZMODUL02:59

for R being Ring
for V being LeftMod of R
for v being Vector of V st not R is degenerated & V is Mult-cancelable holds
( {v} is linearly-independent iff v <> 0. V )