for R being Ring
for V being RightMod of R
for A being Subset of V st 0. R <> 1_ R & A is linearly-independent holds
not 0. V in A