Finite-dimensional vector space/Dual basis/Basis/Fact
              < Finite-dimensional vector space < Dual basis < Basis 
 
            
          Let be a finite-dimensional -vector space, endowed with a basis .
Let  be a
finite-dimensional
-vector space,
endowed with a 
basis
.