Vektorräume/Lineare Abbildung/Surjektiv und Restklassenraum/Fakt

Es sei ${\displaystyle {}K}$ ein Körper und es sei

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

eine surjektive lineare Abbildung zwischen ${\displaystyle {}K}$-Vektorräumen.

Dann gibt es eine kanonische lineare Isomorphie