theorem :: XPRIMES2:7193

7193 is prime