Es sei ${\displaystyle {}K}$ ein endlicher Körper mit ${\displaystyle {}q}$ Elementen und sei ${\displaystyle {}V}$ ein ${\displaystyle {}n}$-dimensionaler ${\displaystyle {}K}$-Vektorraum. Es sei ${\displaystyle {}v_{1},v_{2},v_{3},\ldots }$ eine Aufzählung (ohne Wiederholung) der Elemente aus ${\displaystyle {}V}$. Nach wie vielen Elementen kann man sich sicher sein, dass diese ein Erzeugendensystem

${\displaystyle {}V}$