theorem :: XPRIMES0:1994

not 1994 is prime