Dado un entero positivo $k$, demuestra que existe un número primo $p$ tal que se pueden elegir enteros distintos $a_1, a_2, \ldots, a_{k+3}$ de entre $\{1, 2, \ldots, p-1\}$ de manera que $p$ divide a $a_i a_{i+1} a_{i+2} a_{i+3} - i$ para todo $i = 1, 2, \ldots, k$.