theorem :: XPRIMES0:1183

not 1183 is prime