theorem :: XPRIMES0:340

not 340 is prime