"=>" Angenommen für alle \(x\in V\) gilt \(f(f(x))=0_V\).
Sei nun \(y\in \operatorname{Bild}(f)\). Dann existiert ein \(x\in V\) mit \(y=f(x)\).
Allerdings gilt nun \(f(y)=f(f(x))=0_V\) nach Voraussetzung, sodass \(y\in \operatorname{Kern}(f).\)
Entsprechend folgt \(\operatorname{Bild}(f)\subseteq \operatorname{Kern}(f).\)
"<=" Angenommen es gelte \(\operatorname{Bild}(f)\subseteq \operatorname{Kern}(f)\).
Dann gilt für jedes \(x\in V\), dass \(f(x)\in \operatorname{Bild}(f)\subseteq \operatorname{Kern}(f)\), also \(f(x)\in \operatorname{Kern}(f)\) ist, woraus sofort \(f(f(x))=0_V\) folgt.