Bessel polynomial generalized hypergeometric

Theorem: The following formula holds: $$y_n(x)={}_2F_0 \left( -n, 1+n;-; -\dfrac{1}{2}x \right),$$ where $y_n(x)$ denotes a Bessel polynomial and ${}_2F_0$ denotes the generalized hypergeometric function.

Proof: █