theorem :: XPRIMES2:6563

6563 is prime