theorem :: XPRIMES2:6277

6277 is prime