Is 10001 prime?