theorem :: XPRIMES2:9173

9173 is prime