theorem :: XPRIMES0:392

not 392 is prime