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

Proof

This follows from the dimension formula and fact.