Es sei K {\displaystyle {}K} ein Körper und V {\displaystyle {}V} ein K {\displaystyle {}K} -Vektorraum mit einer Basis
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.
Insbesondere ist k ≤ n {\displaystyle {}k\leq n} .