theorem :: XPRIMES0:994

not 994 is prime