给定正整数 $k$，令 $a_1=1$，且 $\forall n\ge 2$，$a_n$ 为方程

中大于 $a_{n-1}$ 的最小解。求证：所有的素数都在数列 $a_1,a_2,\dots$ 中。