theorem :: XPRIMES2:9377

9377 is prime