Least k > 1 such that all divisors of (k^n-1) over (k-1) are == 1 (mod n)