theorem :: XPRIMES0:998

not 998 is prime