theorem :: XPRIMES0:560

not 560 is prime