theorem :: XPRIMES0:1188

not 1188 is prime