Homogeneous linear system/Dimension estimate/Fact/Proof
Appearance
The solution space of one linear equation in variables has dimension or . 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.