Es sei K {\displaystyle {}K} ein Körper und V {\displaystyle {}V} ein endlichdimensionaler K {\displaystyle {}K} -Vektorraum der Dimension n {\displaystyle {}n} und es seien U 1 , U 2 ⊆ V {\displaystyle {}U_{1},U_{2}\subseteq V} Untervektorräume der Dimension dim ( U 1 ) = n − k 1 {\displaystyle {}\operatorname {dim} _{}\left(U_{1}\right)=n-k_{1}} bzw. dim ( U 2 ) = n − k 2 {\displaystyle {}\operatorname {dim} _{}\left(U_{2}\right)=n-k_{2}} .
Dann ist
