theorem :: XPRIMES0:1998

not 1998 is prime