theorem :: XPRIMES0:860

not 860 is prime