Least k > 1 such that all divisors d of (k^(2n+1)+1) over (k+1) satisfy d == 1 (mod 2n+1)