theorem :: XPRIMES0:1860

not 1860 is prime