theorem :: XPRIMES0:186

not 186 is prime