Sea $k$ un entero positivo. Demuestra que si existe una secuencia $a_0,a_1,\ldots$ de enteros que satisface la condición \[a_n=\frac{a_{n-1}+n^k}{n}\text{ para todo } n\geq 1,\] entonces $k-2$ es divisible por $3$ .