theorem :: XPRIMES0:1189

not 1189 is prime