theorem :: XPRIMES0:348

not 348 is prime