theorem :: XPRIMES2:9277

9277 is prime