We consider the family of polynomials
$$\left\{ \begin{array}{l} H_0 = 1 \\ H_k = \frac{1}{k!} \prod_{j=0}^{k-1} (X - j) \quad \text{for } k \in \llbracket 1, n \rrbracket \end{array} \right.$$
Show that, for every $P \in \mathbb{R}_n[X]$,
$$P = \sum_{k=0}^{n} \left(\delta^k(P)\right)(0) H_k$$