Körpererweiterung/Vektorraum/Fakt

Es sei eine Körpererweiterung.

Dann ist in natürlicher Weise ein -Vektorraum.