theorem :: XPRIMES0:1563

not 1563 is prime