theorem :: XPRIMES2:9679

9679 is prime