13 Sean $a, b, c, d$ enteros positivos, y $x_0, x_1, x_2, \cdots$ una sucesión de enteros positivos tal que $x_{n+3} = a x_{n+2} + b x_{n+1} + c x_{n} + d$ para todo $n\geqslant 0$. Si existen $2025$ términos consecutivos en la sucesión que son todos primos, entonces demuestre que $x_3 > 16$. Propuesto por Mainak Ghosh y Rijul Saini.