theorem :: XPRIMES2:6779

6779 is prime