There is the following lemma:
Any linearly independent set can be expanded to make a basis
Also it's well-known that all the space's basis has the same amount of vectors ($n$).
But how can be proved that any linearly independent set in the space with the length $n$ is able to span that space (i.e. is a basis)?
The question is about finite-dimensional vector space.