theorem :: XPRIMES0:1238

not 1238 is prime