theorem :: XPRIMES0:1900

not 1900 is prime