Yay, 100000007 is a prime!