theorem :: XPRIMES2:9949

9949 is prime