Homogeneous linear system/Dimension estimate/Fact

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

Then the

dimension

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

Proof, Write another proof