theorem :: XPRIMES0:564

not 564 is prime