Proof of Theorem HMVEI

We are assuming the system is homogeneous, so Theorem HSC says it is consistent. Then the hypothesis that $n>m$, together with Theorem CMVEI, gives infinitely many solutions.