Vector space/Finite-dimensional/Injective surjective bijective/Basis equivalence/Exercise

Prove fact using fact and exercise.