theorem :: XPRIMES2:9187

9187 is prime