theorem :: XPRIMES0:1139

not 1139 is prime