Solution HSE.M51 Robert Beezer
Since there are more variables than equations, Theorem HMVEI applies and tells us that the solution set is infinite. From the proof of Theorem HSC we know that the zero vector is one solution.