theorem :: XPRIMES2:6197

6197 is prime