theorem :: XPRIMES2:6263

6263 is prime