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 I being Basis of V st A c= I