Es sei K {\displaystyle {}K} ein Körper und V {\displaystyle {}V} ein endlichdimensionaler K {\displaystyle {}K} -Vektorraum. Es sei U ⊆ V {\displaystyle {}U\subseteq V} ein Untervektorraum.
Dann ist