theorem :: XPRIMES2:9391

9391 is prime