theorem :: XPRIMES2:9677

9677 is prime