theorem :: XPRIMES0:341

not 341 is prime