theorem :: XPRIMES2:6247

6247 is prime