theorem :: XPRIMES2:6553

6553 is prime