theorem :: ZMODUL02:61

for R being Ring
for V being LeftMod of R
for v being Vector of V st R is commutative & not R is degenerated holds
{v,(0. V)} is linearly-dependent by Th60;