theorem :: XPRIMES2:9437

9437 is prime