Added solution to Problem 7: 10001st prime.