theorem :: XPRIMES2:6763

6763 is prime