theorem :: XPRIMES2:7793

7793 is prime