theorem :: XPRIMES0:338

not 338 is prime