Implement 10001st prime.