theorem :: XPRIMES2:9371

9371 is prime