I am reading the appendix of Fulton and Harris pg. 459 and am trying to understand the following setup. Suppose $\lambda : \lambda_1 \geq \lambda_2 \geq \ldots \geq \lambda_k \geq 0$ is a partition of a positive integer $d$ into at most $k$ parts. Suppose $P$ is a symmetric polynomial of degree $d$ in $k$ variables. Write
$\omega_\lambda(P) = [\Delta \cdot P]_l$
where $\Delta$ is the discriminant $\prod_{1 \leq i < j \leq k} (x_i - x_j)$ and $[\Delta\cdot P]_l$ denotes the coefficient of the monomial $X^l = x_1^{l_1}x_2^{l_2} \ldots x_k^{l_k}$ in $\Delta\cdot P$. The tuple $l = (l_1,\ldots,l_k)$ has entries
$l_1 = \lambda_1 + k-1, \hspace{2mm} l_2 =\lambda_2 + k -2,\hspace{2mm}, \ldots \hspace{2mm}, l_k = \lambda_k.$
Now Fulton and Harris claim the identity
$P = \sum_{\lambda \hspace{2mm} \text{a partition of $d$ into at most $k$ parts}} \omega_\lambda(P) s_\lambda$
where $s_\lambda$ is the Schur polynomial
$s_\lambda = \frac{ \left|\begin{array}{cccc}x_1^{l_1} & x_2^{l_1} &\ldots & x_k^{l_1} \\ x_1^{l_2} & x_2^{l_2} &\ldots & x_k^{l_2} \\ &&\vdots\\ x_1^{l_k} & x_2^{l_k} & \ldots & x_k^{l_k}\end{array}\right|}{\Delta}.$
Why should this be the case? They claim it is easy to see but I have been starring at this for several days now and don't understand how this claim comes. Am I missing something or is this another proof in Fulton and Harris that they just glance over?
Thanks.