a(n) is the smallest k > 1 such that k^n + 1 has all prime divisors p == 1 (mod n)