Solution (source code)

= Solution

True. Repeated use of the <Leibniz rule> and the polynomial Taylor formula gives
$$
P(D)(fg)=\sum_\alpha\frac1{\alpha!}
(D^\alpha f)\,P^{(\alpha)}(D)g.
$$