theorem :: XPRIMES0:890

not 890 is prime