theorem :: XPRIMES1:5563

5563 is prime