theorem :: XPRIMES0:1989

not 1989 is prime