theorem :: XPRIMES0:1182

not 1182 is prime