Let us suppose the vectors are linearly dependent. Then there exists scalars, not all of them 0, such that
Therefore from equation (2), we have
Now from equation (1), we get
We know that, if.
Therefore
Since is a basis of , then the vectors are linearly independent.
Since we have supposed that the vectors are linearly dependent such that
But we have
Therefore the vectorsare linearly independent and thus form a basis of