theorem :: XPRIMES2:6173

6173 is prime