theorem :: XPRIMES1:5197

5197 is prime