Base change/Three bases/Composition/Fact/Proof/Exercise
              < Base change < Three bases < Composition < Fact < Proof 
 
 
            
          Let be a field, and let be a -vector space of dimension . Let and denote bases of . Show that the transformation matrices fulfill the relation