Homogenes lineares Gleichungssystem/Dimensionsabschätzung/Fakt

Es sei ein homogenes lineares Gleichungssystem aus ${}k$ Gleichungen in ${}n$ Variablen gegeben.

Dann ist die Dimension des Lösungsraumes des Systems mindestens gleich ${}n-k$ .