Field extension/Vector space/Fact

Let be a field extension.

Then is in a natural way a -vector space.