Solution (source code)

= Solution

The <binomial theorem> gives $(1+x)^8=\sum_{k=0}^8\binom8k x^k$. The required <binomial coefficients> are therefore
$$
\boxed{[x^4](1+x)^8=\binom84=70,\qquad [x^5](1+x)^8=\binom85=56.}
$$
Here $[x^k]$ denotes the coefficient of $x^k$ in the <polynomial>.