theorem :: XPRIMES2:9739

9739 is prime