theorem :: XPRIMES2:6761

6761 is prime