Let $\{f_n\}_{n \ge 0}$ be the Fibonacci sequence, given by $f_0 = f_1 = 1$, and for all positive integers $n$ the recurrence $f_{n+1} = f_n + f_{n-1}$. Let $a_n = f_{n+1}f_n$ for any non-negative integer $n$, and let $$P_n(X) = X^n + a_{n-1}X^{n-1} + ... + a_1X + a_0.$$Prove that for all positive integers $n \ge 3$ the polynomial $P_n(X)$ is irreducible in $Z[X]$.