theorem :: XPRIMES2:6653

6653 is prime