theorem :: XPRIMES0:346

not 346 is prime