Sea $(a_n)_{n\ge 1}$ una sucesión de enteros positivos definida como $a_1,a_2>0$ y $a_{n+1}$ es el menor divisor primo de $a_{n-1}+a_{n}$ , para todo $n\ge 2$ . Demostrar que un número real $x$ cuyos decimales son dígitos de los números $a_1,a_2,\ldots a_n,\ldots $ escritos en orden, es un número racional.