Es sei K {\displaystyle {}K} ein Körper und V {\displaystyle {}V} ein K {\displaystyle {}K} -Vektorraum mit einer Basis
Ferner sei
eine Familie von linear unabhängigen Vektoren in V {\displaystyle {}V} . Dann gibt es eine Teilmenge J = { i 1 , i 2 , … , i k } ⊆ { 1 , … , n } = I {\displaystyle {}J=\{i_{1},i_{2},\ldots ,i_{k}\}\subseteq \{1,\ldots ,n\}=I} derart, dass die Familie
eine Basis von V {\displaystyle {}V} ist.