theorem :: XPRIMES0:394

not 394 is prime