$u_1=31$, $u_2=331$ et $u_3=3331$.
Le résultat est démontré par récurrence.
Pour tout entier naturel $n$, $3u_n=10^{n+1}-7$.
Pour tout entier naturel $n$, l'écriture décimale de $u_n$ est $\underbrace{3\ldots3}_{n}1$.
$331$ n'est pas divisible par $2$ car $331$ n'est pas pair.
$331$ n'est pas divisible par $3$ car la somme de ses chiffres à savoir $7$ ne l'est pas.
$331$ n'est pas divisible par $5$ car le chiffre des unités n'est ni $0$, ni $5$.
$\dfrac{331}{7}=47,2\ldots$ et donc $331$ n'est pas divisible par $7$.
$\dfrac{331}{11}=30,09\ldots$ et donc $331$ n'est pas divisible par $11$.
$\dfrac{331}{13}=25,4\ldots$ et donc $331$ n'est pas divisible par $13$.
$\dfrac{331}{17}=19,4\ldots$ et donc $331$ n'est pas divisible par $17$.
$331$ n'est divisible par aucun des nombres premiers inférieurs ou égaux à sa racine carrée et donc
$u_2$ est un nombre premier.
Toujours d'après la question 2)b), la somme des chiffres de $u_n$ est $3n+1$. La somme des chiffres de $u_n$ n'est pas divisible par $3$ et on sait alors que $u_n$ n'est pas divisible par $3$.
Pour tout entier naturel $n$, $u_n$ n'est divisible ni par $2$, ni par $3$, ni par $5$.
Ensuite, $-7\equiv4\;(\text{mod}\;11)$. D'après la question 2)a), $3u_n=-7+10^{n+1}$ et donc $3u_n\equiv4-(-1)^n\;(\text{mod}\;11)$.
Pour tout entier naturel $n$, $3u_n\equiv4-(-1)^n\;(\text{mod}\;11)$.
Ainsi, dans tous les cas, $3u_n\not\equiv0\;(\text{mod}\;11)$ ou encore $3u_n$ n'est pas un multiple de $11$. Il en est de même de $u_n$ car si $u_n$ était un multiple de $11$, il en serait de même de $3u_n$.
Pour tout entier naturel $n$, $u_n$ n'est pas divisible par $11$.
$10^{16}\equiv1\;(\text{mod}\;17)$.
D'après la question a), puisque $10^{16k+9}=(10^{16})^k\times10^8\times10$, on a $10^{16k+9}\equiv1^k\times(-1)\times(-7)\;(\text{mod}\;17)$ ou encore
Mais alors $10^{16k+9}-7\equiv0\;(\text{mod}\;17)$ ou encore $17$ divise $3u_{16k+8}$.
Puisque $17$ divise $3u_{16k+8}$ et que $17$ est premier à $3$, le théorème de \textsc{Gauss} permet d'affirmer que $17$ divise $u_{16k+8}$.
Pour tout entier naturel $k$, $u_{16k+8}$ est divisible par $17$.