theorem :: XPRIMES2:6299

6299 is prime