theorem :: XPRIMES0:889

not 889 is prime