theorem :: XPRIMES0:188

not 188 is prime