theorem :: XPRIMES2:7393

7393 is prime