Field extension/Vector space/Fact/Proof

The scalar multiplication

${\displaystyle K\times L\longrightarrow L,(\lambda ,x)\longmapsto \lambda x,}$

is simply given by the multiplication in ${\displaystyle {}L}$. The vector space axioms follow directly from the field axioms.