theorem :: XPRIMES2:9397

9397 is prime