theorem :: XPRIMES2:6287

6287 is prime