Finite-dimensional vector space/Dual basis/Basis/Fact

Let be a finite-dimensional -vector space, endowed with a basis .

Then the

dual basis

is a basis of the

dual space.