O primeiro satisfaz . Com certeza você terá uma justificação melhor que a minha , não sei qual ferramenta utilizar , mas usando

obtemos , para
![10^n + 2 = (10^n - 1^n) + 3 = 3 + 9 \sum_{k=0}^{n-1} 10^k = 3 + 9 + 9 \sum_{k=1}^{n-1} 2^k \cdot 5^k = 6 \cdot (2 + 3 \sum_{k=1}^{n-1} 2^{k-1} \cdot 5^{k} ) = 6(2 + 3[5 + 50 + 500 + \cdots + 2^{n-2} \cdot 10^{n-1} ] 10^n + 2 = (10^n - 1^n) + 3 = 3 + 9 \sum_{k=0}^{n-1} 10^k = 3 + 9 + 9 \sum_{k=1}^{n-1} 2^k \cdot 5^k = 6 \cdot (2 + 3 \sum_{k=1}^{n-1} 2^{k-1} \cdot 5^{k} ) = 6(2 + 3[5 + 50 + 500 + \cdots + 2^{n-2} \cdot 10^{n-1} ]](/latexrender/pictures/7dac550e4104327b5feae1a7cca2ba5e.png)
.
Um número é divisível por

se ele for simultaneamente por 3 e 2 , claro . No mínimo ele é par , logo o último digito dele é 0,2,4,6,8 .Agora ,se ele for divisível por

, investigamos certas propriedades . Escreva

(m,n inteiros ) . Podemos representar

por

onde os

variam de

a

.
Exemplo :

.Segue

. Graças a fatoração

cada parcela

é divisível por 3 , e com isso a soma dos dígitos também o é .Alternativamente

. Fazendo a subtração de números de mesma base , temos

.Logo a soma dos dígitos também são divisível por

.
Este é um resultado do critérios de divisibilidade . Só não sei qual abordagem certa ...
Emfim :
(i)

. O último dígito é 2

número é par

divisível por

.
(ii) A soma dos dígitos é 3

divisível por

.
![\therefore [(i) \wedge (ii) ] \implies 6 | (10^n+2) \therefore [(i) \wedge (ii) ] \implies 6 | (10^n+2)](/latexrender/pictures/b09cd341454340de4b7533c581d2d958.png)
.