theorem :: XPRIMES2:9257

9257 is prime