theorem :: XPRIMES0:343

not 343 is prime