theorem :: XPRIMES0:1890

not 1890 is prime