theorem :: XPRIMES0:329

not 329 is prime