theorem :: XPRIMES0:344

not 344 is prime