수열 $a_n$을 $a_0=4$, $a_n=a_{n-1}^2-a_{n-1}$로 정의하자.
a) 이 수열의 어떤 항의 약수가 되는 소수의 수가 무한히 많음을 증명하라.
b) 이 수열의 모든 항의 약수가 되지 않는 소수의 수는 무한히 많은가?