theorem :: XPRIMES2:7993

7993 is prime