theorem :: XPRIMES0:987

not 987 is prime