theorem :: XPRIMES0:1988

not 1988 is prime