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 K ( U 1 ) = n − k 1 {\displaystyle {}\dim _{K}{\left(U_{1}\right)}=n-k_{1}} bzw. dim K ( U 2 ) = n − k 2 {\displaystyle {}\dim _{K}{\left(U_{2}\right)}=n-k_{2}} .
Dann ist
