theorem Th2: :: VECTSP_7:2

for R being non degenerated Ring
for V being LeftMod of R
for A being Subset of V st A is linearly-independent holds
not 0. V in A