Theorem HMVEI Homogeneous, More Variables than Equations, Infinite solutions

Suppose that a homogeneous system of linear equations has $m$ equations and $n$ variables with $n>m$. Then the system has infinitely many solutions.

Proof
(in context)