Field extension/Vector space/Fact

< Field extension < Vector space

Let be a field extension.

Then is is in natural way a -vector space.