2 Considere una sucesión infinita de enteros positivos $a_1, a_2, a_3, \dots$ tal que $a_1 > 1$ y $(2^{a_n} - 1)a_{n+1}$ sea un cuadrado para todo entero positivo $n$. ¿Es posible que dos términos de dicha sucesión sean iguales? Propuesto por Pavel Kozlov, Rusia