theorem :: XPRIMES2:6199

6199 is prime