theorem :: XPRIMES0:382

not 382 is prime