theorem :: XPRIMES0:334

not 334 is prime