theorem :: XPRIMES2:9749

9749 is prime