theorem :: XPRIMES0:1564

not 1564 is prime