theorem :: XPRIMES2:6269

6269 is prime