theorem :: XPRIMES1:563

563 is prime