Linear mapping/Dimension formula/Fact

Let ${\displaystyle {}K}$ denote a field, let ${\displaystyle {}V}$ and ${\displaystyle {}W}$ denote ${\displaystyle {}K}$-vector spaces, and let

${\displaystyle \varphi \colon V\longrightarrow W}$

denote a ${\displaystyle {}K}$-linear mapping. Suppose that ${\displaystyle {}V}$ has finite dimension.