theorem :: XPRIMES2:6163

6163 is prime