theorem :: XPRIMES0:1899

not 1899 is prime