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$ .