theorem :: XPRIMES1:239

239 is prime