theorem :: XPRIMES0:1239

not 1239 is prime