theorem :: XPRIMES0:1191

not 1191 is prime