Homogeneous linear system/Dimension estimate/Fact

Let a homogeneous system of linear equations with ${\displaystyle {}k}$ equations in ${\displaystyle {}n}$ variables be given.

Then the

dimension

of the solution space of the system is at least ${\displaystyle {}n-k}$.