theorem :: XPRIMES2:9497

9497 is prime