theorem :: XPRIMES0:342

not 342 is prime