Linear mapping/Eigenspace as kernel/Fact

Let ${\displaystyle {}K}$ be a field, ${\displaystyle {}V}$ a ${\displaystyle {}K}$-vector space and

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

a linear mapping. Let ${\displaystyle {}\lambda \in K}$.