theorem :: XPRIMES0:1186

not 1186 is prime