theorem :: XPRIMES0:1560

not 1560 is prime