theorem :: XPRIMES2:9929

9929 is prime