theorem :: XPRIMES0:393

not 393 is prime