Sea $\{s_1,s_2, s_3,\ldots\}$ una sucesión estrictamente creciente de enteros positivos tal que las subsucesiones
\[\{s_{s_1},s_{s_2},s_{s_3},\ldots\}\qquad\text{y}\qquad \{s_{s_1+1},s_{s_2+1},s_{s_3+1},\ldots\}\]
son ambas progresiones aritméticas. Demostrar que la sucesión original $\{s_1,s_2, s_3,\ldots\}$ es también una progresión aritmética.