Vektorraum/Basisergänzungssatz/Fakt

Es sei ein Körper und ein endlichdimensionaler -Vektorraum der Dimension . Es seien

linear unabhängige Vektoren in .

Dann gibt es Vektoren

derart, dass

eine Basis von bilden.