theorem :: XPRIMES0:898

not 898 is prime