Finite-dimensional vector space/Dual basis/Basis/Fact/Proof
Proof
Suppose that
where . If we apply this linear form to , we get directly
Therefore, the are linearly independent. Due to fact, the dual space has dimension , thus we have a basis already.