theorem :: XPRIMES2:9533

9533 is prime