theorem :: XPRIMES0:988

not 988 is prime