theorem :: XPRIMES2:6791

6791 is prime