theorem :: XPRIMES0:1859

not 1859 is prime