theorem :: XPRIMES2:6599

6599 is prime