theorem :: XPRIMES0:1898

not 1898 is prime