theorem Th17: :: VECTSP_7:17

for R being non degenerated almost_left_invertible Ring
for V being LeftMod of R
for A being Subset of V st A is linearly-independent holds
ex B being Subset of V st
( A c= B & B is base )