theorem :: XPRIMES0:1858

not 1858 is prime