Homogeneous linear system/Dimension estimate/Fact/Proof

Proof

The solution space of one linear equation in ${}n$ variables has dimension ${}n-1$ or ${}n$. The solution space of the system is the intersection of the solution spaces of the individual equations. Therefore, the statement follows by applying fact to the individual solution spaces.

To fact