theorem :: XPRIMES0:339

not 339 is prime