theorem :: XPRIMES0:187

not 187 is prime