Consider the sequence $a_n$ defined by $a_1 = 2$ and $a_{n+1} = a_n^2 - a_n + 1$. This is known as Sylvester's sequence. Which of the following statements about the prime factors of terms in this sequence is true?