theorem :: XPRIMES2:6229

6229 is prime