Nach Fakt gibt es einen eindimensionalen Untervektorraum W ⊆ V {\displaystyle {}W\subseteq V} mit
Die zu dieser Zerlegung gehörige Projektion
ist linear und besitzt U {\displaystyle {}U} als Kern. Da W {\displaystyle {}W} eindimensional ist, gibt es einen Isomorphismus