theorem :: XPRIMES2:6793

6793 is prime