Theorem CMVEI Consistent, More Variables than Equations, Infinite solutions

Suppose a consistent system of linear equations has $m$ equations in $n$ variables. If $n>m$, then the system has infinitely many solutions.

Proof
(in context)