Homogeneous linear system/Dimension estimate/Fact/Proof
              < Homogeneous linear system < Dimension estimate < Fact 
            
          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.