Körpererweiterung/Ist Vektorraum/Fakt

Sei eine Körpererweiterung.

Dann ist in natürlicher Weise ein -Vektorraum.