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.