theorem :: XPRIMES2:6257

6257 is prime