theorem :: XPRIMES2:9767

9767 is prime