theorem :: XPRIMES0:238

not 238 is prime