theorem :: MOD_3:15

for R being Skew-Field
for V being LeftMod of R
for v being Vector of V holds
( {v} is linearly-independent iff v <> 0. V )