theorem :: XPRIMES0:989

not 989 is prime