4 Halle todos los enteros positivos $n,k,a_1,a_2,...,a_k$ tales que $n^{k+1}+1$ es divisible por $(na_1+1)(na_2+1)...(na_k+1)$