Homomorphism space/Dimension/Fact

Let denote a field, and let and denote finite-dimensional -vector spaces with dimensions and .

Then