theorem :: XPRIMES2:6781

6781 is prime