I'm reading the introductory bits in Procesi's Lie Groups, and on p. 22 we have (paraphrasing)
Theorem 2. $\mathcal{B}=\{x_1^{\large h_1}\cdots x_n^{\large h_n}: 0\le h_k\le n-k\}$ is a basis for the ring $\Bbb Z[x_1,\cdots,x_n]$ considered over $\Bbb Z[e_1,\cdots,e_n]$, where $e_i$ are the elementary symmetric polynomials in the $x_i$.
I haven't been able to see why this is though. The previous theorem was the fundamental theorem of symmetric polynomials, which was proven inductively with a recursive algorithm:
If $x_n|f$ then $x_1\cdots x_n|f$, and dividing out we are left with a symmetric polynomial of smaller degree than before. Otherwise, write $f(x_1,\cdots,x_{n-1},0)$ as a polynomial $p$ in the elementary symmetric polynomials $\hat{e}_i$ of the first $n-1$ variables, $p(\hat{e}_1,\cdots,\hat{e}_{n-1})$. Now the polynomial $$f(x_1,\cdots,x_n)-p(e_1,\cdots,e_{n-1})$$ is symmetric in all of $x_1,\cdots,x_n$ and evaluates to $0$ at $x_n=0$ ie is divisible by $x_n$. Induct.
Is there a straightforward adaptation of this with which we can argue for theorem 2? Or is there perhaps another way to see that it must be true? I feel I am missing something simple here.