There's this theorem by T. Nagell which states:
Given two non-constant polynomials $P,Q \in \mathbb{Z}[X]$, there exists infinitely many primes $p$ which divide $P(a), Q(b)$ for some integers $a,b$.
I've been trying to find a proof online but was not able to. I'm wondering if anyone has a (preferably elementary) proof of this result.