for R being Ring
for V being RightMod of R
for v being Vector of V st 0. R <> 1_ R holds
( {v,(0. V)} is linearly-dependent & {(0. V),v} is linearly-dependent ) by Th65;