Vector space/Finite dimensional/Injective surjective bijective/Fact/Proof