Let $a_1 = 2$, and for $n \ge 1$, let $a_{n+1} = a_n^2 - a_n + 1$. This sequence is known as Sylvester's sequence. Which of the following properties of this sequence can be used to prove the infinitude of prime numbers?