theorem :: XPRIMES2:7187

7187 is prime