Higher-Degree Hörmander $L^2$ Existence Theorem